2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies (Lecture Notes in Mathematics)
Автор:
W. Buchholz
, Автор:
S. Feferman
, Автор:
W. Pohlers
, Автор:
W. Sieg
Категория:
Образование
Размер книги: 11.87 Mb
An introduction to mathematical logic
Автор:
Wolfram Pohlers (author)
, Автор:
Thomas Glaß (editor)
Размер книги: 982 Kb
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
Автор:
W. Buchholz
, Автор:
S. Feferman
, Автор:
W. Pohlers
, Автор:
W. Sieg
Размер книги: 2.62 Mb
Proof Theory
Автор:
Wolfram Pohlers
Размер книги: 9.81 Mb
Iterated Inductive Definitions and Subsystems of Analysis
Автор:
W. Buchholz
, Автор:
S. Feferman
, Автор:
W. Pohlers
, Автор:
W. Sieg
Категория:
Lecture notes
Размер книги: 2.47 Mb
Proof Theory. An Introduction
Автор:
Wolfram Pohlers
, Автор:
Pohlers
Категория:
Lecture notes
Размер книги: 1.55 Mb
Proof Theory: The First Step into Impredicativity
Автор:
Wolfram Pohlers
Размер книги: 3.82 Mb
Proof Theory: The First Step into Impredicativity
Автор:
Wolfram Pohlers
Размер книги: 3.42 Mb
Proof Theory: The First Step into Impredicativity
Автор:
Pohlers W.
Категория:
Математика
Размер книги: 7.15 Mb
